Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
نویسنده
چکیده
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particular observability and reachability transformations of FA, respectively; (2) express FA pumping as a property of the FA’s reachability matrix; (3) derive canonical forms for FAs. These results are to our knowledge new, and they may support a fresh look into hybrid automata properties, such as minimality. Moreover, they may allow to derive generalized notions of characteristic polynomials and associated eigenvalues, in the context of FA.
منابع مشابه
BL-general fuzzy automata and minimal realization: Based on the associated categories
The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...
متن کاملReachability , Observability and Minimality for a Class of 2 D Continuous - Discrete Systems ∗
Reachability and observability criteria are obtained for 2D continuous-discrete time-variable Attasi type systems by using suitable 2D reachability and observability Gramians. Necessary and sufficient conditions of reachability and observability are derived for time-invariant systems. The duality between the two concepts is emphasized as well as their connection with the minimality of these sys...
متن کاملOn the Properties of Reachability, Observability, Controllability, and Constructibility of Discrete-Time Positive Time-Invariant Linear Systems with Aperiodic Choice of the Sampling Instants
This paper investigates the properties of reachability, observability, controllability, and constructibility of positive discrete-time linear time-invariant dynamic systems when the sampling instants are chosen aperiodically. Reachability and observability hold if and only if a relevant matrix defining each of those properties is monomial for the set of chosen sampling instants provided that th...
متن کاملReachability and Observability Graphs for Linear Positive Systems on Time Scales
Positive reachability and positive observability of positive linear systems on time scales are studied. Differential and integral calculus on time scales allows for unified treatment of continuousand discrete-time systems. Reachability and observability graphs for positive systems are introduced. They are used to characterize positive reachability and positive observability for systems on homog...
متن کاملHow non-zero initial conditions affect the minimality of linear discrete-time systems
From the state-space approach to linear systems, promoted by Kalman, we learned that minimality is equivalent with reachability together with observability. Our past research on optimal reduced-order LQG controller synthesis revealed that if the initial conditions are non-zero, minimality is no longer equivalent with reachability together with observability. In the behavioural approach to linea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009